Indeterminate Truth
نویسنده
چکیده
Can a truth-bearer be true but not determinately so? On the enduringly popular standard supervaluational conception of indeterminacy, under which the principle of bivalence is invalid, the answer is a straightforward No. On such a conception, truth just is determinate truth—truth in all admissible interpretations. For that reason, a more interesting question is: can a truth-bearer be true but not determinately so on a conception of indeterminacy under which both classical semantics and classical logic remain valid? Under such a conception, very roughly, a truth-bearer is indeterminate in truth-value just in case it is either true or false but it is not determinate that this truth-bearer is true and not determinate that it is false. Within such a classical framework, the possibility of indeterminate truth has proved to be at best elusive, at worst, incoherent. On this score, Crispin Wright alleges that it
منابع مشابه
Degree of Negation of Euclid’s Fifth Postulate
In this article we present the two classical negations of Euclid’s Fifth Postulate (done by Lobachevski-Bolyai-Gauss, and respectively by Riemann), and in addition of these we propose a partial negation (or a degree of negation) of an axiom in geometry. The most important contribution of this article is the introduction of the degree of negation (or partial negation) of an axiom and, more gener...
متن کامل1 Vagueness as Second - Level Indeterminacy
Let a sentence be second-level indeterminate just in case it has different truth-values under different acceptable assignments of semantic values, and let a sentence be first-level indeterminate just in case there are acceptable assignments under which the sentence lacks a classical, determinate truth-value. Many theorists of vagueness take for granted that the indeterminacy with which vaguenes...
متن کاملEmbracing Causality in Specifying the Indeterminate Effects of Actions
This paper makes the following two contributions to formal theories of actions: Showing that a causal minimization framework can be used effectively to specify the effects of indeterminate actions; and showing that for certain classes of such actions, regression, an effective computational mechanism, can be used to reason about them. Logical Preliminaries We shall investigate the problem in the...
متن کاملA Semantics for Model-Based Spatial Reasoning
Model-based reasoning involves proving the truth of a proposition by computation in the semantic domain. In contrast, rule-based reasoning is proving truth by means of formal manipulation of formulas. A growing body of research in cognitive science suggests that human spatial reasoning is model-based, rather than rule-based. The paper begins with a cognitive perspective of model-based reasoning...
متن کاملComplex Neutrosophic Similarity Measures in Medical Diagnosis
This paper presents some similarity measures between complex neutrosophic sets. A complex neutrosophic set is a generalization of neutrosophic set whose complex-valued truth membership function, complex-valued indeterminacy membership function, and complex valued falsity membership functions are the combinations of realvalued truth amplitude term in association with phase term, real-valued inde...
متن کامل